#include"kernel/types.h"
#include"kernel/stat.h"
#include"user/user.h"


int main(int argc, const char *argv[]){
    int time;
    if(argc!=2){
        fprintf(2,"Required 1 arguments, got %d\n",argc-1);
        printf("usage: sleep TIME\n");
        exit(1);
    }else{
        time=atoi(argv[1]);
        printf("going to sleep...\n");
        sleep(time);
        exit(0);
    }
    return 0;
}
